REPT: Reverse Debugging of Failures in Deployed Software Weidong Cui and Xinyang Ge, Microsoft Research Redmond; Baris Kasikci, University of Michigan; Ben Niu, Microsoft Research Redmond; Upamanyu Sharma, University of

Source URL: web.eecs.umich.edu

• Computing
• Programming language implementation
• Parallel computing
• Debugging
• Optimizing compiler
• X86
• Computer engineering

WebRelate: Integrating Web Data with Spreadsheets using Examples JEEVANA PRIYA INALA, MIT, USA RISHABH SINGH, Microsoft Research, USA Data integration between web sources and relational data is a key challenge faced by d

Source URL: rishabhmit.bitbucket.io

• Computing
• Software engineering
• Computer programming
• Formal languages
• Spreadsheet
• Regular expression
• Domain-specific language
• Data transformation
• Web scraping
• String
• Computer
• Scheme

Times Higher Education (THE) published its seventh annual Young University Rankings on 6th June 2018, and for seventh time the University of Crete has been included among the top 100 best research-intensive universities

Source URL: www.en.uoc.gr

• Times Higher Education World University Rankings
• College and university rankings
• Education
• cole Polytechnique
• University of Crete
• Rankings of universities in Pakistan
• University Ranking by Academic Performance

Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers∗ Gergely Kovásznai, Csaba Biró, and Balázs Erdélyi Eszterházy Károly University, Eger, Hungary IoT Research

Source URL: smt-workshop.cs.uiowa.edu

• Constraint programming
• Theoretical computer science
• Computing
• Wireless sensor network
• Wireless networking
• Applied mathematics
• Satisfiability modulo theories
• Sensor node
• Constraint satisfaction
• Mathematical optimization
• Constraint

Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient

Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com

• Knowledge representation
• Computing
• Data
• Information science
• Semantic Web
• Data management
• Technical communication
• Simple Knowledge Organization System
• Open data
• Geographic information system
• Data transformation
• Resource Description Framework

NITI Aayog, Intel and TIFR collaborate to set up a Model International Center for Transformative AI (ICTAI) Aiming to solve major challenges in India, the center will focus on application-based AI research in healthcare,

Source URL: www.tifr.res.in

• Technology
• Computational neuroscience
• Computing
• NITI Aayog
• Niti
• Artificial intelligence
• Intel
• Ai
• Tata Institute of Fundamental Research

Proceedings of Machine Learning Research, 4th International Conference on Predictive Applications and APIs An Architecture and Domain Specific Language Framework for Repeated Domain-Specific Predictive M

Source URL: proceedings.mlr.press

• Software engineering
• Computing
• Modeling and simulation
• Software architecture
• Software design
• Domain-specific language
• Domain-driven design
• Conceptual model
• Architectural pattern
• Scientific modelling
• Domain-specific modeling
• Feature engineering

HONG KONG INSTITUTE FOR MONETARY RESEARCH LIQUIDITY SHOCKS AND “BORROW TO LEND” SHADOW BANKING ACTIVITIES Zhibo Tan

Source URL: www.hkimr.org

• Economy
• Money
• Finance
• Banking
• Financial markets
• Bank
• Short
• Central bank
• Market liquidity
• Shadow banking system
• Subprime crisis background information
• Reserve Bank of India

Solving (Quantified) Horn Constraints for Program Verification and Synthesis Andrey Rybalchenko (Microsoft Research) September 30, 2015

Source URL: www.avacs.org

Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient

Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com

• Computing
• Software engineering
• Information and communications technology
• Data visualization
• Information technology governance
• Visualization
• Multitier architecture
• Mobile app development
• Cloud computing